(1
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 92)
  ("(var3 stable)" 92 172)
  ("(var3 up)" 172 179)
  ("(var3 down)" 179 188)
  ("(var3 up)" 188 194)
  ("(var3 stable)" 194 341)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 91)
  ("(var4 stable)" 91 341)
  ("(var1 stable)" 0 49)
  ("(var1 down)" 49 52)
  ("(var1 up)" 52 54)
  ("(var1 stable)" 54 56)
  ("(var1 up)" 56 58)
  ("(var1 stable)" 58 62)
  ("(var1 up)" 62 85)
  ("(var1 down)" 85 88)
  ("(var1 stable)" 88 341)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 stable)" 80 112)
  ("(var2 up)" 112 116)
  ("(var2 down)" 116 118)
  ("(var2 up)" 118 189)
  ("(var2 down)" 189 191)
  ("(var2 up)" 191 195)
  ("(var2 stable)" 195 341)
 )
)
(2
 (
  ("(var3 stable)" 0 91)
  ("(var3 up)" 91 124)
  ("(var3 stable)" 124 126)
  ("(var3 up)" 126 128)
  ("(var3 stable)" 128 207)
  ("(var3 up)" 207 213)
  ("(var3 down)" 213 223)
  ("(var3 up)" 223 229)
  ("(var3 stable)" 229 369)
  ("(var4 stable)" 0 94)
  ("(var4 up)" 94 97)
  ("(var4 stable)" 97 100)
  ("(var4 up)" 100 124)
  ("(var4 stable)" 124 369)
  ("(var1 stable)" 0 91)
  ("(var1 up)" 91 93)
  ("(var1 down)" 93 95)
  ("(var1 up)" 95 97)
  ("(var1 down)" 97 99)
  ("(var1 up)" 99 119)
  ("(var1 stable)" 119 369)
  ("(var2 stable)" 0 113)
  ("(var2 down)" 113 115)
  ("(var2 up)" 115 210)
  ("(var2 down)" 210 212)
  ("(var2 up)" 212 245)
  ("(var2 down)" 245 247)
  ("(var2 stable)" 247 369)
 )
)
(3
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 80)
  ("(var3 down)" 80 82)
  ("(var3 up)" 82 92)
  ("(var3 stable)" 92 160)
  ("(var3 up)" 160 166)
  ("(var3 down)" 166 176)
  ("(var3 up)" 176 181)
  ("(var3 stable)" 181 311)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 85)
  ("(var4 stable)" 85 311)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 78)
  ("(var1 stable)" 78 311)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 75)
  ("(var2 up)" 75 193)
  ("(var2 down)" 193 195)
  ("(var2 up)" 195 197)
  ("(var2 stable)" 197 311)
 )
)
(4
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 51)
  ("(var3 stable)" 51 53)
  ("(var3 up)" 53 84)
  ("(var3 down)" 84 86)
  ("(var3 up)" 86 88)
  ("(var3 stable)" 88 170)
  ("(var3 up)" 170 174)
  ("(var3 down)" 174 186)
  ("(var3 up)" 186 191)
  ("(var3 stable)" 191 332)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 52)
  ("(var4 down)" 52 54)
  ("(var4 up)" 54 83)
  ("(var4 stable)" 83 332)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 77)
  ("(var1 stable)" 77 332)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 up)" 73 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 209)
  ("(var2 down)" 209 212)
  ("(var2 stable)" 212 332)
 )
)
(5
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 114)
  ("(var3 down)" 114 116)
  ("(var3 stable)" 116 199)
  ("(var3 up)" 199 207)
  ("(var3 down)" 207 218)
  ("(var3 up)" 218 223)
  ("(var3 stable)" 223 360)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 115)
  ("(var4 down)" 115 117)
  ("(var4 stable)" 117 360)
  ("(var1 stable)" 0 87)
  ("(var1 down)" 87 89)
  ("(var1 up)" 89 110)
  ("(var1 stable)" 110 112)
  ("(var1 up)" 112 114)
  ("(var1 stable)" 114 360)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 110)
  ("(var2 up)" 110 212)
  ("(var2 stable)" 212 215)
  ("(var2 up)" 215 260)
  ("(var2 stable)" 260 360)
 )
)
(6
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 54)
  ("(var3 stable)" 54 56)
  ("(var3 up)" 56 79)
  ("(var3 stable)" 79 160)
  ("(var3 up)" 160 164)
  ("(var3 down)" 164 175)
  ("(var3 up)" 175 180)
  ("(var3 stable)" 180 315)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 83)
  ("(var4 stable)" 83 315)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 76)
  ("(var1 stable)" 76 315)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 73)
  ("(var2 up)" 73 196)
  ("(var2 stable)" 196 315)
 )
)
(7
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 84)
  ("(var3 stable)" 84 164)
  ("(var3 up)" 164 169)
  ("(var3 down)" 169 180)
  ("(var3 up)" 180 183)
  ("(var3 stable)" 183 315)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 52)
  ("(var4 down)" 52 54)
  ("(var4 up)" 54 56)
  ("(var4 stable)" 56 58)
  ("(var4 up)" 58 89)
  ("(var4 stable)" 89 315)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 58)
  ("(var1 down)" 58 60)
  ("(var1 up)" 60 84)
  ("(var1 stable)" 84 315)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 up)" 77 199)
  ("(var2 down)" 199 201)
  ("(var2 up)" 201 203)
  ("(var2 stable)" 203 315)
 )
)
(8
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 106)
  ("(var3 stable)" 106 185)
  ("(var3 up)" 185 191)
  ("(var3 down)" 191 201)
  ("(var3 up)" 201 204)
  ("(var3 stable)" 204 342)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 107)
  ("(var4 stable)" 107 337)
  ("(var4 down)" 337 339)
  ("(var4 up)" 339 342)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 98)
  ("(var1 stable)" 98 342)
  ("(var2 stable)" 0 92)
  ("(var2 down)" 92 94)
  ("(var2 up)" 94 221)
  ("(var2 stable)" 221 342)
 )
)
(9
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 135)
  ("(var3 stable)" 135 212)
  ("(var3 up)" 212 218)
  ("(var3 down)" 218 228)
  ("(var3 up)" 228 233)
  ("(var3 stable)" 233 379)
  ("(var4 stable)" 0 102)
  ("(var4 up)" 102 128)
  ("(var4 stable)" 128 379)
  ("(var1 stable)" 0 102)
  ("(var1 up)" 102 132)
  ("(var1 stable)" 132 379)
  ("(var2 stable)" 0 118)
  ("(var2 down)" 118 120)
  ("(var2 up)" 120 242)
  ("(var2 stable)" 242 379)
 )
)
(10
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 72)
  ("(var3 stable)" 72 282)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 71)
  ("(var4 stable)" 71 73)
  ("(var4 up)" 73 76)
  ("(var4 stable)" 76 282)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 68)
  ("(var1 stable)" 68 282)
  ("(var2 stable)" 0 61)
  ("(var2 down)" 61 63)
  ("(var2 up)" 63 172)
  ("(var2 down)" 172 174)
  ("(var2 up)" 174 179)
  ("(var2 stable)" 179 282)
 )
)
(11
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 89)
  ("(var3 down)" 89 91)
  ("(var3 up)" 91 93)
  ("(var3 stable)" 93 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 186)
  ("(var3 up)" 186 189)
  ("(var3 stable)" 189 332)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 88)
  ("(var4 stable)" 88 332)
  ("(var1 up)" 0 3)
  ("(var1 down)" 3 5)
  ("(var1 stable)" 5 56)
  ("(var1 down)" 56 60)
  ("(var1 up)" 60 89)
  ("(var1 stable)" 89 332)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 stable)" 78 119)
  ("(var2 up)" 119 200)
  ("(var2 down)" 200 202)
  ("(var2 up)" 202 205)
  ("(var2 stable)" 205 207)
  ("(var2 up)" 207 209)
  ("(var2 stable)" 209 332)
 )
)
(12
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 100)
  ("(var3 down)" 100 102)
  ("(var3 up)" 102 104)
  ("(var3 stable)" 104 171)
  ("(var3 up)" 171 177)
  ("(var3 down)" 177 187)
  ("(var3 up)" 187 192)
  ("(var3 stable)" 192 319)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 100)
  ("(var4 stable)" 100 319)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 97)
  ("(var1 stable)" 97 319)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 up)" 93 193)
  ("(var2 stable)" 193 319)
 )
)
(13
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 96)
  ("(var3 stable)" 96 171)
  ("(var3 up)" 171 177)
  ("(var3 down)" 177 185)
  ("(var3 up)" 185 188)
  ("(var3 stable)" 188 318)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 66)
  ("(var4 stable)" 66 68)
  ("(var4 up)" 68 94)
  ("(var4 stable)" 94 318)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 68)
  ("(var1 down)" 68 70)
  ("(var1 up)" 70 90)
  ("(var1 stable)" 90 318)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 up)" 85 184)
  ("(var2 down)" 184 187)
  ("(var2 up)" 187 219)
  ("(var2 stable)" 219 318)
 )
)
(14
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 93)
  ("(var3 stable)" 93 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 185)
  ("(var3 up)" 185 190)
  ("(var3 stable)" 190 331)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 85)
  ("(var4 stable)" 85 331)
  ("(var1 stable)" 0 60)
  ("(var1 up)" 60 80)
  ("(var1 stable)" 80 331)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 stable)" 77 117)
  ("(var2 up)" 117 206)
  ("(var2 stable)" 206 331)
 )
)
(15
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 105)
  ("(var3 stable)" 105 186)
  ("(var3 up)" 186 192)
  ("(var3 down)" 192 202)
  ("(var3 up)" 202 207)
  ("(var3 stable)" 207 344)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 100)
  ("(var4 stable)" 100 102)
  ("(var4 up)" 102 105)
  ("(var4 stable)" 105 344)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 100)
  ("(var1 stable)" 100 344)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 up)" 97 222)
  ("(var2 stable)" 222 344)
 )
)
(16
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 85)
  ("(var3 stable)" 85 158)
  ("(var3 down)" 158 169)
  ("(var3 up)" 169 172)
  ("(var3 stable)" 172 292)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 86)
  ("(var4 stable)" 86 292)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 87)
  ("(var1 stable)" 87 292)
  ("(var2 stable)" 0 78)
  ("(var2 up)" 78 189)
  ("(var2 stable)" 189 292)
 )
)
(17
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 104)
  ("(var3 stable)" 104 182)
  ("(var3 up)" 182 186)
  ("(var3 down)" 186 196)
  ("(var3 up)" 196 199)
  ("(var3 stable)" 199 330)
  ("(var4 stable)" 0 77)
  ("(var4 down)" 77 79)
  ("(var4 up)" 79 103)
  ("(var4 stable)" 103 330)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 99)
  ("(var1 stable)" 99 330)
  ("(var2 stable)" 0 97)
  ("(var2 up)" 97 223)
  ("(var2 stable)" 223 330)
 )
)
(18
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 32)
  ("(var3 stable)" 32 34)
  ("(var3 up)" 34 66)
  ("(var3 stable)" 66 146)
  ("(var3 up)" 146 149)
  ("(var3 down)" 149 159)
  ("(var3 stable)" 159 161)
  ("(var3 up)" 161 165)
  ("(var3 stable)" 165 299)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 34)
  ("(var4 stable)" 34 37)
  ("(var4 up)" 37 63)
  ("(var4 down)" 63 65)
  ("(var4 stable)" 65 299)
  ("(var1 stable)" 0 22)
  ("(var1 up)" 22 60)
  ("(var1 stable)" 60 299)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 56)
  ("(var2 up)" 56 182)
  ("(var2 down)" 182 184)
  ("(var2 stable)" 184 299)
 )
)
(19
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 92)
  ("(var3 stable)" 92 164)
  ("(var3 up)" 164 168)
  ("(var3 stable)" 168 170)
  ("(var3 down)" 170 177)
  ("(var3 up)" 177 182)
  ("(var3 stable)" 182 304)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 87)
  ("(var4 stable)" 87 304)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 87)
  ("(var1 stable)" 87 304)
  ("(var2 down)" 0 2)
  ("(var2 stable)" 2 78)
  ("(var2 down)" 78 82)
  ("(var2 up)" 82 197)
  ("(var2 stable)" 197 304)
 )
)
(20
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 60)
  ("(var3 down)" 60 62)
  ("(var3 up)" 62 85)
  ("(var3 stable)" 85 159)
  ("(var3 up)" 159 165)
  ("(var3 down)" 165 174)
  ("(var3 up)" 174 179)
  ("(var3 stable)" 179 303)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 57)
  ("(var4 down)" 57 59)
  ("(var4 up)" 59 85)
  ("(var4 stable)" 85 303)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 82)
  ("(var1 stable)" 82 303)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 79)
  ("(var2 stable)" 79 106)
  ("(var2 up)" 106 167)
  ("(var2 down)" 167 169)
  ("(var2 up)" 169 204)
  ("(var2 stable)" 204 303)
 )
)
(21
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 56)
  ("(var3 up)" 56 63)
  ("(var3 stable)" 63 65)
  ("(var3 up)" 65 95)
  ("(var3 stable)" 95 175)
  ("(var3 up)" 175 180)
  ("(var3 stable)" 180 183)
  ("(var3 down)" 183 193)
  ("(var3 up)" 193 199)
  ("(var3 stable)" 199 342)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 86)
  ("(var4 stable)" 86 342)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 63)
  ("(var1 down)" 63 65)
  ("(var1 up)" 65 82)
  ("(var1 stable)" 82 87)
  ("(var1 up)" 87 89)
  ("(var1 stable)" 89 342)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 80)
  ("(var2 stable)" 80 106)
  ("(var2 up)" 106 220)
  ("(var2 stable)" 220 342)
 )
)
(22
 (
  ("(var3 stable)" 0 65)
  ("(var3 up)" 65 103)
  ("(var3 stable)" 103 169)
  ("(var3 up)" 169 175)
  ("(var3 down)" 175 183)
  ("(var3 up)" 183 187)
  ("(var3 stable)" 187 311)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 68)
  ("(var4 down)" 68 70)
  ("(var4 up)" 70 72)
  ("(var4 down)" 72 74)
  ("(var4 up)" 74 98)
  ("(var4 stable)" 98 311)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 92)
  ("(var1 stable)" 92 94)
  ("(var1 up)" 94 99)
  ("(var1 stable)" 99 311)
  ("(var2 stable)" 0 90)
  ("(var2 up)" 90 173)
  ("(var2 down)" 173 175)
  ("(var2 up)" 175 216)
  ("(var2 stable)" 216 311)
 )
)
(23
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 41)
  ("(var3 up)" 41 80)
  ("(var3 stable)" 80 158)
  ("(var3 up)" 158 163)
  ("(var3 down)" 163 173)
  ("(var3 up)" 173 177)
  ("(var3 stable)" 177 314)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 44)
  ("(var4 up)" 44 73)
  ("(var4 stable)" 73 314)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 72)
  ("(var1 stable)" 72 314)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 106)
  ("(var2 up)" 106 193)
  ("(var2 stable)" 193 314)
 )
)
(24
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 65)
  ("(var3 down)" 65 67)
  ("(var3 up)" 67 74)
  ("(var3 stable)" 74 151)
  ("(var3 up)" 151 158)
  ("(var3 down)" 158 168)
  ("(var3 stable)" 168 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 313)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 72)
  ("(var4 stable)" 72 313)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 64)
  ("(var1 stable)" 64 67)
  ("(var1 up)" 67 69)
  ("(var1 stable)" 69 313)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 187)
  ("(var2 stable)" 187 313)
 )
)
(25
 (
  ("(var3 stable)" 0 53)
  ("(var3 down)" 53 56)
  ("(var3 up)" 56 82)
  ("(var3 stable)" 82 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 161)
  ("(var3 down)" 161 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 299)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 79)
  ("(var4 stable)" 79 299)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 75)
  ("(var1 down)" 75 77)
  ("(var1 stable)" 77 299)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 stable)" 73 100)
  ("(var2 up)" 100 179)
  ("(var2 stable)" 179 299)
 )
)
(26
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 85)
  ("(var3 stable)" 85 176)
  ("(var3 up)" 176 178)
  ("(var3 down)" 178 189)
  ("(var3 up)" 189 194)
  ("(var3 stable)" 194 343)
  ("(var4 stable)" 0 55)
  ("(var4 down)" 55 57)
  ("(var4 up)" 57 90)
  ("(var4 stable)" 90 341)
  ("(var4 down)" 341 343)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 82)
  ("(var1 down)" 82 84)
  ("(var1 stable)" 84 343)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 up)" 79 124)
  ("(var2 down)" 124 126)
  ("(var2 up)" 126 212)
  ("(var2 down)" 212 214)
  ("(var2 stable)" 214 343)
 )
)
(27
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 77)
  ("(var3 stable)" 77 150)
  ("(var3 up)" 150 156)
  ("(var3 down)" 156 164)
  ("(var3 up)" 164 168)
  ("(var3 stable)" 168 294)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 78)
  ("(var4 stable)" 78 294)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 71)
  ("(var1 stable)" 71 294)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 66)
  ("(var2 stable)" 66 98)
  ("(var2 up)" 98 180)
  ("(var2 stable)" 180 294)
 )
)
(28
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 121)
  ("(var3 stable)" 121 194)
  ("(var3 up)" 194 199)
  ("(var3 down)" 199 209)
  ("(var3 up)" 209 213)
  ("(var3 stable)" 213 339)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 119)
  ("(var4 stable)" 119 339)
  ("(var1 stable)" 0 86)
  ("(var1 down)" 86 88)
  ("(var1 up)" 88 116)
  ("(var1 stable)" 116 339)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 109)
  ("(var2 up)" 109 226)
  ("(var2 stable)" 226 339)
 )
)
(29
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 102)
  ("(var3 stable)" 102 187)
  ("(var3 up)" 187 194)
  ("(var3 down)" 194 205)
  ("(var3 up)" 205 209)
  ("(var3 stable)" 209 356)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 104)
  ("(var4 stable)" 104 356)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 103)
  ("(var1 down)" 103 105)
  ("(var1 stable)" 105 356)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 93)
  ("(var2 stable)" 93 132)
  ("(var2 up)" 132 217)
  ("(var2 down)" 217 219)
  ("(var2 up)" 219 223)
  ("(var2 down)" 223 226)
  ("(var2 stable)" 226 356)
 )
)
(30
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 99)
  ("(var3 stable)" 99 174)
  ("(var3 up)" 174 179)
  ("(var3 down)" 179 188)
  ("(var3 stable)" 188 190)
  ("(var3 up)" 190 193)
  ("(var3 stable)" 193 328)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 99)
  ("(var4 stable)" 99 328)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 95)
  ("(var1 stable)" 95 97)
  ("(var1 up)" 97 99)
  ("(var1 stable)" 99 328)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 up)" 86 211)
  ("(var2 stable)" 211 328)
 )
)
(31
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 119)
  ("(var3 stable)" 119 203)
  ("(var3 up)" 203 207)
  ("(var3 down)" 207 219)
  ("(var3 up)" 219 224)
  ("(var3 stable)" 224 375)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 86)
  ("(var4 down)" 86 88)
  ("(var4 up)" 88 124)
  ("(var4 stable)" 124 373)
  ("(var4 down)" 373 375)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 115)
  ("(var1 stable)" 115 375)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 151)
  ("(var2 down)" 151 153)
  ("(var2 up)" 153 214)
  ("(var2 down)" 214 216)
  ("(var2 up)" 216 219)
  ("(var2 stable)" 219 375)
 )
)
(32
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 103)
  ("(var3 stable)" 103 175)
  ("(var3 up)" 175 179)
  ("(var3 down)" 179 188)
  ("(var3 up)" 188 195)
  ("(var3 stable)" 195 312)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 101)
  ("(var4 stable)" 101 312)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 99)
  ("(var1 stable)" 99 312)
  ("(var2 stable)" 0 92)
  ("(var2 down)" 92 94)
  ("(var2 stable)" 94 128)
  ("(var2 up)" 128 132)
  ("(var2 stable)" 132 134)
  ("(var2 up)" 134 211)
  ("(var2 down)" 211 213)
  ("(var2 up)" 213 215)
  ("(var2 stable)" 215 312)
 )
)
(33
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 81)
  ("(var3 stable)" 81 153)
  ("(var3 up)" 153 158)
  ("(var3 down)" 158 167)
  ("(var3 stable)" 167 169)
  ("(var3 up)" 169 171)
  ("(var3 stable)" 171 308)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 71)
  ("(var4 stable)" 71 308)
  ("(var1 up)" 0 2)
  ("(var1 stable)" 2 38)
  ("(var1 up)" 38 67)
  ("(var1 stable)" 67 308)
  ("(var2 stable)" 0 58)
  ("(var2 down)" 58 62)
  ("(var2 stable)" 62 98)
  ("(var2 up)" 98 188)
  ("(var2 down)" 188 190)
  ("(var2 stable)" 190 308)
 )
)
(34
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 92)
  ("(var3 stable)" 92 94)
  ("(var3 up)" 94 96)
  ("(var3 stable)" 96 170)
  ("(var3 up)" 170 175)
  ("(var3 stable)" 175 177)
  ("(var3 down)" 177 185)
  ("(var3 stable)" 185 187)
  ("(var3 up)" 187 191)
  ("(var3 stable)" 191 325)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 91)
  ("(var4 stable)" 91 325)
  ("(var1 stable)" 0 64)
  ("(var1 down)" 64 66)
  ("(var1 up)" 66 87)
  ("(var1 stable)" 87 325)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 84)
  ("(var2 up)" 84 223)
  ("(var2 stable)" 223 325)
 )
)
(35
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 113)
  ("(var3 stable)" 113 199)
  ("(var3 up)" 199 205)
  ("(var3 down)" 205 215)
  ("(var3 up)" 215 220)
  ("(var3 stable)" 220 365)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 111)
  ("(var4 stable)" 111 365)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 106)
  ("(var1 stable)" 106 109)
  ("(var1 up)" 109 111)
  ("(var1 stable)" 111 365)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 241)
  ("(var2 down)" 241 243)
  ("(var2 up)" 243 246)
  ("(var2 stable)" 246 365)
 )
)
(36
 (
  ("(var3 stable)" 0 71)
  ("(var3 down)" 71 73)
  ("(var3 up)" 73 104)
  ("(var3 stable)" 104 179)
  ("(var3 up)" 179 185)
  ("(var3 down)" 185 195)
  ("(var3 up)" 195 201)
  ("(var3 stable)" 201 321)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 102)
  ("(var4 stable)" 102 321)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 80)
  ("(var1 up)" 80 103)
  ("(var1 stable)" 103 321)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 97)
  ("(var2 up)" 97 223)
  ("(var2 stable)" 223 321)
 )
)
(37
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 53)
  ("(var3 stable)" 53 56)
  ("(var3 up)" 56 86)
  ("(var3 stable)" 86 170)
  ("(var3 up)" 170 176)
  ("(var3 down)" 176 189)
  ("(var3 up)" 189 193)
  ("(var3 stable)" 193 334)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 80)
  ("(var4 stable)" 80 334)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 86)
  ("(var1 stable)" 86 334)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 75)
  ("(var2 up)" 75 215)
  ("(var2 stable)" 215 334)
 )
)
(38
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 65)
  ("(var3 stable)" 65 141)
  ("(var3 up)" 141 146)
  ("(var3 down)" 146 156)
  ("(var3 up)" 156 161)
  ("(var3 stable)" 161 290)
  ("(var4 stable)" 0 28)
  ("(var4 up)" 28 35)
  ("(var4 down)" 35 37)
  ("(var4 up)" 37 62)
  ("(var4 stable)" 62 64)
  ("(var4 up)" 64 66)
  ("(var4 stable)" 66 290)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 35)
  ("(var1 stable)" 35 39)
  ("(var1 up)" 39 56)
  ("(var1 stable)" 56 290)
  ("(var2 stable)" 0 52)
  ("(var2 down)" 52 54)
  ("(var2 up)" 54 153)
  ("(var2 stable)" 153 155)
  ("(var2 up)" 155 190)
  ("(var2 stable)" 190 290)
 )
)
(39
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 81)
  ("(var3 stable)" 81 154)
  ("(var3 up)" 154 159)
  ("(var3 down)" 159 168)
  ("(var3 up)" 168 173)
  ("(var3 stable)" 173 292)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 74)
  ("(var4 stable)" 74 292)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 76)
  ("(var1 stable)" 76 292)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 196)
  ("(var2 stable)" 196 292)
 )
)
(40
 (
  ("(var3 stable)" 0 84)
  ("(var3 down)" 84 86)
  ("(var3 up)" 86 88)
  ("(var3 stable)" 88 90)
  ("(var3 up)" 90 130)
  ("(var3 stable)" 130 220)
  ("(var3 up)" 220 224)
  ("(var3 down)" 224 235)
  ("(var3 up)" 235 241)
  ("(var3 stable)" 241 383)
  ("(var4 stable)" 0 96)
  ("(var4 up)" 96 130)
  ("(var4 stable)" 130 383)
  ("(var1 stable)" 0 96)
  ("(var1 up)" 96 122)
  ("(var1 down)" 122 124)
  ("(var1 up)" 124 126)
  ("(var1 stable)" 126 383)
  ("(var2 stable)" 0 118)
  ("(var2 down)" 118 122)
  ("(var2 up)" 122 264)
  ("(var2 down)" 264 266)
  ("(var2 up)" 266 268)
  ("(var2 stable)" 268 383)
 )
)
(41
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 71)
  ("(var3 stable)" 71 139)
  ("(var3 up)" 139 145)
  ("(var3 down)" 145 153)
  ("(var3 up)" 153 158)
  ("(var3 stable)" 158 281)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 67)
  ("(var4 stable)" 67 281)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 69)
  ("(var1 stable)" 69 281)
  ("(var2 stable)" 0 56)
  ("(var2 down)" 56 60)
  ("(var2 up)" 60 186)
  ("(var2 stable)" 186 281)
 )
)
(42
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 121)
  ("(var3 stable)" 121 195)
  ("(var3 up)" 195 198)
  ("(var3 stable)" 198 200)
  ("(var3 down)" 200 210)
  ("(var3 up)" 210 212)
  ("(var3 stable)" 212 346)
  ("(var4 stable)" 0 90)
  ("(var4 up)" 90 124)
  ("(var4 stable)" 124 346)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 115)
  ("(var1 stable)" 115 346)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 109)
  ("(var2 up)" 109 236)
  ("(var2 stable)" 236 346)
 )
)
(43
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 102)
  ("(var3 down)" 102 105)
  ("(var3 stable)" 105 181)
  ("(var3 up)" 181 187)
  ("(var3 down)" 187 197)
  ("(var3 up)" 197 202)
  ("(var3 stable)" 202 330)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 103)
  ("(var4 stable)" 103 330)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 102)
  ("(var1 stable)" 102 330)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 95)
  ("(var2 up)" 95 215)
  ("(var2 down)" 215 217)
  ("(var2 up)" 217 219)
  ("(var2 stable)" 219 330)
 )
)
(44
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 104)
  ("(var3 stable)" 104 174)
  ("(var3 up)" 174 179)
  ("(var3 stable)" 179 181)
  ("(var3 down)" 181 189)
  ("(var3 stable)" 189 191)
  ("(var3 up)" 191 197)
  ("(var3 stable)" 197 325)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 96)
  ("(var4 stable)" 96 325)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 73)
  ("(var1 stable)" 73 75)
  ("(var1 up)" 75 99)
  ("(var1 stable)" 99 325)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 stable)" 91 121)
  ("(var2 up)" 121 222)
  ("(var2 stable)" 222 325)
 )
)
(45
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 73)
  ("(var3 down)" 73 75)
  ("(var3 up)" 75 80)
  ("(var3 stable)" 80 174)
  ("(var3 up)" 174 179)
  ("(var3 down)" 179 189)
  ("(var3 up)" 189 195)
  ("(var3 stable)" 195 337)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 52)
  ("(var4 down)" 52 54)
  ("(var4 up)" 54 75)
  ("(var4 stable)" 75 337)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 52)
  ("(var1 stable)" 52 54)
  ("(var1 up)" 54 79)
  ("(var1 stable)" 79 337)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 217)
  ("(var2 down)" 217 219)
  ("(var2 up)" 219 221)
  ("(var2 stable)" 221 337)
 )
)
(46
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 101)
  ("(var3 stable)" 101 170)
  ("(var3 up)" 170 173)
  ("(var3 down)" 173 182)
  ("(var3 up)" 182 188)
  ("(var3 stable)" 188 308)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 104)
  ("(var4 stable)" 104 308)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 94)
  ("(var1 stable)" 94 308)
  ("(var2 stable)" 0 87)
  ("(var2 down)" 87 89)
  ("(var2 stable)" 89 121)
  ("(var2 up)" 121 199)
  ("(var2 stable)" 199 201)
  ("(var2 up)" 201 203)
  ("(var2 stable)" 203 308)
 )
)
(47
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 54)
  ("(var3 down)" 54 56)
  ("(var3 up)" 56 81)
  ("(var3 stable)" 81 158)
  ("(var3 up)" 158 160)
  ("(var3 down)" 160 170)
  ("(var3 up)" 170 174)
  ("(var3 stable)" 174 299)
  ("(var4 stable)" 0 56)
  ("(var4 up)" 56 83)
  ("(var4 stable)" 83 299)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 78)
  ("(var1 stable)" 78 299)
  ("(var2 stable)" 0 73)
  ("(var2 down)" 73 75)
  ("(var2 stable)" 75 104)
  ("(var2 up)" 104 191)
  ("(var2 stable)" 191 299)
 )
)
(48
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 109)
  ("(var3 stable)" 109 186)
  ("(var3 up)" 186 190)
  ("(var3 down)" 190 199)
  ("(var3 up)" 199 204)
  ("(var3 stable)" 204 331)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 108)
  ("(var4 stable)" 108 331)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 109)
  ("(var1 stable)" 109 331)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 213)
  ("(var2 down)" 213 215)
  ("(var2 up)" 215 217)
  ("(var2 stable)" 217 331)
 )
)
(49
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 107)
  ("(var3 stable)" 107 185)
  ("(var3 up)" 185 191)
  ("(var3 down)" 191 199)
  ("(var3 up)" 199 207)
  ("(var3 stable)" 207 340)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 104)
  ("(var4 stable)" 104 340)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 103)
  ("(var1 stable)" 103 340)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 stable)" 97 128)
  ("(var2 up)" 128 135)
  ("(var2 down)" 135 137)
  ("(var2 up)" 137 212)
  ("(var2 stable)" 212 338)
  ("(var2 down)" 338 340)
 )
)
(50
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 107)
  ("(var3 down)" 107 109)
  ("(var3 up)" 109 120)
  ("(var3 stable)" 120 202)
  ("(var3 up)" 202 206)
  ("(var3 down)" 206 218)
  ("(var3 stable)" 218 220)
  ("(var3 up)" 220 224)
  ("(var3 stable)" 224 366)
  ("(var3 down)" 366 368)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 118)
  ("(var4 down)" 118 120)
  ("(var4 stable)" 120 368)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 102)
  ("(var1 stable)" 102 104)
  ("(var1 up)" 104 106)
  ("(var1 stable)" 106 368)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 100)
  ("(var2 stable)" 100 135)
  ("(var2 up)" 135 198)
  ("(var2 stable)" 198 201)
  ("(var2 up)" 201 242)
  ("(var2 stable)" 242 368)
 )
)
(51
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 91)
  ("(var3 stable)" 91 176)
  ("(var3 up)" 176 182)
  ("(var3 down)" 182 193)
  ("(var3 up)" 193 197)
  ("(var3 stable)" 197 342)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 91)
  ("(var4 stable)" 91 342)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 88)
  ("(var1 stable)" 88 92)
  ("(var1 up)" 92 94)
  ("(var1 stable)" 94 342)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 80)
  ("(var2 up)" 80 225)
  ("(var2 stable)" 225 342)
 )
)
(52
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 91)
  ("(var3 stable)" 91 175)
  ("(var3 up)" 175 179)
  ("(var3 down)" 179 189)
  ("(var3 up)" 189 194)
  ("(var3 stable)" 194 329)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 95)
  ("(var4 stable)" 95 329)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 90)
  ("(var1 stable)" 90 329)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 121)
  ("(var2 up)" 121 197)
  ("(var2 stable)" 197 329)
 )
)
(53
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 106)
  ("(var3 stable)" 106 189)
  ("(var3 up)" 189 195)
  ("(var3 down)" 195 206)
  ("(var3 up)" 206 212)
  ("(var3 stable)" 212 353)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 103)
  ("(var4 stable)" 103 353)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 106)
  ("(var1 stable)" 106 353)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 98)
  ("(var2 up)" 98 234)
  ("(var2 stable)" 234 353)
 )
)
(54
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 74)
  ("(var3 stable)" 74 157)
  ("(var3 up)" 157 164)
  ("(var3 down)" 164 174)
  ("(var3 up)" 174 179)
  ("(var3 stable)" 179 329)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 70)
  ("(var4 stable)" 70 72)
  ("(var4 up)" 72 75)
  ("(var4 stable)" 75 329)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 70)
  ("(var1 stable)" 70 72)
  ("(var1 up)" 72 75)
  ("(var1 stable)" 75 329)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 69)
  ("(var2 up)" 69 179)
  ("(var2 stable)" 179 329)
 )
)
(55
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 93)
  ("(var3 stable)" 93 165)
  ("(var3 up)" 165 169)
  ("(var3 down)" 169 179)
  ("(var3 up)" 179 182)
  ("(var3 stable)" 182 310)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 89)
  ("(var4 stable)" 89 310)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 81)
  ("(var1 stable)" 81 310)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 up)" 79 119)
  ("(var2 down)" 119 122)
  ("(var2 up)" 122 198)
  ("(var2 stable)" 198 310)
 )
)
(56
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 93)
  ("(var3 stable)" 93 169)
  ("(var3 up)" 169 174)
  ("(var3 down)" 174 184)
  ("(var3 up)" 184 188)
  ("(var3 stable)" 188 318)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 91)
  ("(var4 stable)" 91 318)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 66)
  ("(var1 stable)" 66 68)
  ("(var1 up)" 68 88)
  ("(var1 down)" 88 90)
  ("(var1 stable)" 90 318)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 87)
  ("(var2 up)" 87 198)
  ("(var2 down)" 198 200)
  ("(var2 up)" 200 202)
  ("(var2 stable)" 202 318)
 )
)
(57
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 82)
  ("(var3 stable)" 82 150)
  ("(var3 up)" 150 156)
  ("(var3 down)" 156 165)
  ("(var3 up)" 165 169)
  ("(var3 stable)" 169 293)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 80)
  ("(var4 stable)" 80 293)
  ("(var1 stable)" 0 50)
  ("(var1 up)" 50 74)
  ("(var1 stable)" 74 293)
  ("(var2 stable)" 0 68)
  ("(var2 down)" 68 72)
  ("(var2 up)" 72 191)
  ("(var2 stable)" 191 293)
 )
)
(58
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 113)
  ("(var3 stable)" 113 196)
  ("(var3 up)" 196 201)
  ("(var3 stable)" 201 203)
  ("(var3 down)" 203 212)
  ("(var3 up)" 212 217)
  ("(var3 stable)" 217 362)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 108)
  ("(var4 down)" 108 111)
  ("(var4 up)" 111 113)
  ("(var4 stable)" 113 362)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 102)
  ("(var1 stable)" 102 362)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 226)
  ("(var2 down)" 226 228)
  ("(var2 up)" 228 231)
  ("(var2 down)" 231 234)
  ("(var2 up)" 234 236)
  ("(var2 stable)" 236 360)
  ("(var2 up)" 360 362)
 )
)
(59
 (
  ("(var3 stable)" 0 75)
  ("(var3 down)" 75 77)
  ("(var3 up)" 77 106)
  ("(var3 stable)" 106 188)
  ("(var3 up)" 188 193)
  ("(var3 down)" 193 204)
  ("(var3 up)" 204 211)
  ("(var3 stable)" 211 349)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 73)
  ("(var4 down)" 73 75)
  ("(var4 up)" 75 100)
  ("(var4 stable)" 100 102)
  ("(var4 up)" 102 106)
  ("(var4 stable)" 106 349)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 99)
  ("(var1 stable)" 99 349)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 95)
  ("(var2 up)" 95 136)
  ("(var2 stable)" 136 139)
  ("(var2 up)" 139 242)
  ("(var2 stable)" 242 349)
 )
)
(60
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 104)
  ("(var3 stable)" 104 185)
  ("(var3 up)" 185 192)
  ("(var3 down)" 192 202)
  ("(var3 up)" 202 207)
  ("(var3 stable)" 207 348)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 98)
  ("(var4 stable)" 98 348)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 95)
  ("(var1 stable)" 95 348)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 92)
  ("(var2 up)" 92 221)
  ("(var2 stable)" 221 348)
 )
)
(61
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 95)
  ("(var3 stable)" 95 176)
  ("(var3 up)" 176 180)
  ("(var3 down)" 180 191)
  ("(var3 up)" 191 193)
  ("(var3 stable)" 193 326)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 66)
  ("(var4 down)" 66 68)
  ("(var4 up)" 68 96)
  ("(var4 stable)" 96 326)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 94)
  ("(var1 stable)" 94 326)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 stable)" 86 116)
  ("(var2 up)" 116 219)
  ("(var2 stable)" 219 326)
 )
)
(62
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 107)
  ("(var3 stable)" 107 179)
  ("(var3 up)" 179 184)
  ("(var3 stable)" 184 186)
  ("(var3 down)" 186 195)
  ("(var3 up)" 195 200)
  ("(var3 stable)" 200 330)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 103)
  ("(var4 stable)" 103 330)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 98)
  ("(var1 down)" 98 100)
  ("(var1 stable)" 100 330)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 98)
  ("(var2 stable)" 98 131)
  ("(var2 up)" 131 210)
  ("(var2 stable)" 210 330)
 )
)
(63
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 104)
  ("(var3 stable)" 104 185)
  ("(var3 up)" 185 187)
  ("(var3 down)" 187 199)
  ("(var3 up)" 199 202)
  ("(var3 stable)" 202 331)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 102)
  ("(var4 stable)" 102 331)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 99)
  ("(var1 stable)" 99 331)
  ("(var2 stable)" 0 94)
  ("(var2 down)" 94 96)
  ("(var2 stable)" 96 132)
  ("(var2 up)" 132 221)
  ("(var2 stable)" 221 331)
 )
)
(64
 (
  ("(var3 stable)" 0 73)
  ("(var3 down)" 73 75)
  ("(var3 up)" 75 77)
  ("(var3 stable)" 77 79)
  ("(var3 up)" 79 108)
  ("(var3 stable)" 108 187)
  ("(var3 up)" 187 195)
  ("(var3 down)" 195 205)
  ("(var3 up)" 205 213)
  ("(var3 stable)" 213 351)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 110)
  ("(var4 stable)" 110 351)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 98)
  ("(var1 stable)" 98 351)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 stable)" 97 131)
  ("(var2 up)" 131 208)
  ("(var2 stable)" 208 351)
 )
)
(65
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 118)
  ("(var3 stable)" 118 194)
  ("(var3 up)" 194 200)
  ("(var3 down)" 200 211)
  ("(var3 up)" 211 213)
  ("(var3 stable)" 213 351)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 113)
  ("(var4 stable)" 113 351)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 117)
  ("(var1 stable)" 117 351)
  ("(var2 stable)" 0 103)
  ("(var2 down)" 103 105)
  ("(var2 up)" 105 231)
  ("(var2 stable)" 231 349)
  ("(var2 up)" 349 351)
 )
)
(66
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 118)
  ("(var3 stable)" 118 190)
  ("(var3 up)" 190 195)
  ("(var3 down)" 195 202)
  ("(var3 up)" 202 208)
  ("(var3 stable)" 208 333)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 113)
  ("(var4 stable)" 113 333)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 113)
  ("(var1 stable)" 113 333)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 up)" 107 223)
  ("(var2 stable)" 223 333)
 )
)
(67
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 75)
  ("(var3 stable)" 75 79)
  ("(var3 up)" 79 81)
  ("(var3 stable)" 81 159)
  ("(var3 up)" 159 163)
  ("(var3 down)" 163 175)
  ("(var3 up)" 175 179)
  ("(var3 stable)" 179 313)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 75)
  ("(var4 stable)" 75 313)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 72)
  ("(var1 stable)" 72 313)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 97)
  ("(var2 up)" 97 197)
  ("(var2 stable)" 197 313)
 )
)
(68
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 76)
  ("(var3 stable)" 76 78)
  ("(var3 up)" 78 110)
  ("(var3 stable)" 110 180)
  ("(var3 up)" 180 186)
  ("(var3 down)" 186 194)
  ("(var3 up)" 194 198)
  ("(var3 stable)" 198 324)
  ("(var4 stable)" 0 78)
  ("(var4 up)" 78 108)
  ("(var4 stable)" 108 324)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 103)
  ("(var1 down)" 103 105)
  ("(var1 stable)" 105 324)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 up)" 99 208)
  ("(var2 stable)" 208 324)
 )
)
(69
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 85)
  ("(var3 stable)" 85 302)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 92)
  ("(var4 stable)" 92 302)
  ("(var1 stable)" 0 62)
  ("(var1 down)" 62 64)
  ("(var1 up)" 64 89)
  ("(var1 stable)" 89 302)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 stable)" 79 116)
  ("(var2 up)" 116 203)
  ("(var2 stable)" 203 302)
 )
)
(70
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 89)
  ("(var3 stable)" 89 167)
  ("(var3 up)" 167 173)
  ("(var3 down)" 173 183)
  ("(var3 up)" 183 188)
  ("(var3 stable)" 188 320)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 54)
  ("(var4 up)" 54 88)
  ("(var4 stable)" 88 320)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 86)
  ("(var1 stable)" 86 320)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 stable)" 79 115)
  ("(var2 up)" 115 214)
  ("(var2 stable)" 214 318)
  ("(var2 down)" 318 320)
 )
)
(71
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 114)
  ("(var3 stable)" 114 196)
  ("(var3 up)" 196 202)
  ("(var3 down)" 202 211)
  ("(var3 up)" 211 217)
  ("(var3 stable)" 217 355)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 116)
  ("(var4 stable)" 116 355)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 88)
  ("(var1 stable)" 88 90)
  ("(var1 up)" 90 110)
  ("(var1 down)" 110 112)
  ("(var1 stable)" 112 355)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 stable)" 103 141)
  ("(var2 up)" 141 207)
  ("(var2 down)" 207 209)
  ("(var2 up)" 209 231)
  ("(var2 stable)" 231 355)
 )
)
(72
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 80)
  ("(var3 down)" 80 82)
  ("(var3 up)" 82 84)
  ("(var3 stable)" 84 163)
  ("(var3 up)" 163 167)
  ("(var3 down)" 167 178)
  ("(var3 up)" 178 180)
  ("(var3 stable)" 180 316)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 51)
  ("(var4 stable)" 51 53)
  ("(var4 up)" 53 78)
  ("(var4 stable)" 78 316)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 82)
  ("(var1 down)" 82 84)
  ("(var1 stable)" 84 316)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 74)
  ("(var2 stable)" 74 111)
  ("(var2 up)" 111 113)
  ("(var2 stable)" 113 115)
  ("(var2 up)" 115 209)
  ("(var2 stable)" 209 316)
 )
)
(73
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 63)
  ("(var3 stable)" 63 136)
  ("(var3 up)" 136 141)
  ("(var3 down)" 141 150)
  ("(var3 up)" 150 154)
  ("(var3 stable)" 154 287)
  ("(var4 stable)" 0 28)
  ("(var4 up)" 28 59)
  ("(var4 stable)" 59 287)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 61)
  ("(var1 stable)" 61 287)
  ("(var2 stable)" 0 51)
  ("(var2 down)" 51 53)
  ("(var2 up)" 53 176)
  ("(var2 down)" 176 180)
  ("(var2 stable)" 180 287)
 )
)
(74
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 114)
  ("(var3 stable)" 114 194)
  ("(var3 up)" 194 199)
  ("(var3 down)" 199 208)
  ("(var3 stable)" 208 210)
  ("(var3 up)" 210 214)
  ("(var3 stable)" 214 353)
  ("(var4 stable)" 0 78)
  ("(var4 up)" 78 104)
  ("(var4 stable)" 104 106)
  ("(var4 up)" 106 109)
  ("(var4 stable)" 109 353)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 78)
  ("(var1 stable)" 78 80)
  ("(var1 up)" 80 106)
  ("(var1 down)" 106 108)
  ("(var1 up)" 108 111)
  ("(var1 down)" 111 113)
  ("(var1 stable)" 113 353)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 101)
  ("(var2 stable)" 101 140)
  ("(var2 up)" 140 241)
  ("(var2 stable)" 241 353)
 )
)
(75
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 96)
  ("(var3 down)" 96 98)
  ("(var3 up)" 98 101)
  ("(var3 stable)" 101 184)
  ("(var3 up)" 184 189)
  ("(var3 down)" 189 199)
  ("(var3 up)" 199 206)
  ("(var3 stable)" 206 344)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 68)
  ("(var4 stable)" 68 70)
  ("(var4 up)" 70 97)
  ("(var4 stable)" 97 344)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 79)
  ("(var1 stable)" 79 81)
  ("(var1 up)" 81 98)
  ("(var1 stable)" 98 344)
  ("(var2 down)" 0 2)
  ("(var2 stable)" 2 89)
  ("(var2 down)" 89 91)
  ("(var2 up)" 91 199)
  ("(var2 stable)" 199 344)
 )
)
(76
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 102)
  ("(var3 stable)" 102 184)
  ("(var3 up)" 184 187)
  ("(var3 down)" 187 196)
  ("(var3 up)" 196 199)
  ("(var3 stable)" 199 326)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 78)
  ("(var4 down)" 78 80)
  ("(var4 up)" 80 103)
  ("(var4 stable)" 103 105)
  ("(var4 up)" 105 107)
  ("(var4 stable)" 107 326)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 99)
  ("(var1 stable)" 99 326)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 stable)" 97 133)
  ("(var2 up)" 133 135)
  ("(var2 stable)" 135 137)
  ("(var2 up)" 137 214)
  ("(var2 stable)" 214 326)
 )
)
(77
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 112)
  ("(var3 stable)" 112 181)
  ("(var3 up)" 181 187)
  ("(var3 down)" 187 195)
  ("(var3 stable)" 195 197)
  ("(var3 up)" 197 201)
  ("(var3 stable)" 201 330)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 105)
  ("(var4 stable)" 105 330)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 109)
  ("(var1 stable)" 109 330)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 98)
  ("(var2 stable)" 98 132)
  ("(var2 up)" 132 233)
  ("(var2 stable)" 233 330)
 )
)
(78
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 65)
  ("(var3 stable)" 65 141)
  ("(var3 up)" 141 144)
  ("(var3 down)" 144 153)
  ("(var3 up)" 153 158)
  ("(var3 stable)" 158 283)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 69)
  ("(var4 stable)" 69 283)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 64)
  ("(var1 stable)" 64 283)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 165)
  ("(var2 stable)" 165 283)
 )
)
(79
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 103)
  ("(var3 stable)" 103 167)
  ("(var3 up)" 167 173)
  ("(var3 down)" 173 180)
  ("(var3 stable)" 180 182)
  ("(var3 up)" 182 186)
  ("(var3 stable)" 186 310)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 92)
  ("(var4 stable)" 92 310)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 95)
  ("(var1 stable)" 95 310)
  ("(var2 stable)" 0 87)
  ("(var2 down)" 87 89)
  ("(var2 up)" 89 200)
  ("(var2 down)" 200 202)
  ("(var2 stable)" 202 310)
 )
)
(80
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 103)
  ("(var3 stable)" 103 186)
  ("(var3 up)" 186 191)
  ("(var3 down)" 191 201)
  ("(var3 up)" 201 207)
  ("(var3 stable)" 207 354)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 95)
  ("(var4 stable)" 95 354)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 95)
  ("(var1 stable)" 95 354)
  ("(var2 stable)" 0 88)
  ("(var2 down)" 88 92)
  ("(var2 up)" 92 143)
  ("(var2 stable)" 143 146)
  ("(var2 up)" 146 228)
  ("(var2 stable)" 228 354)
 )
)
(81
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 100)
  ("(var3 stable)" 100 176)
  ("(var3 up)" 176 182)
  ("(var3 down)" 182 192)
  ("(var3 up)" 192 195)
  ("(var3 stable)" 195 323)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 95)
  ("(var4 stable)" 95 323)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 97)
  ("(var1 stable)" 97 323)
  ("(var2 stable)" 0 92)
  ("(var2 up)" 92 206)
  ("(var2 down)" 206 208)
  ("(var2 stable)" 208 323)
 )
)
(82
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 66)
  ("(var3 stable)" 66 68)
  ("(var3 up)" 68 70)
  ("(var3 stable)" 70 72)
  ("(var3 up)" 72 97)
  ("(var3 stable)" 97 99)
  ("(var3 up)" 99 103)
  ("(var3 stable)" 103 188)
  ("(var3 up)" 188 194)
  ("(var3 down)" 194 205)
  ("(var3 up)" 205 209)
  ("(var3 stable)" 209 344)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 96)
  ("(var4 stable)" 96 344)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 69)
  ("(var1 down)" 69 72)
  ("(var1 up)" 72 96)
  ("(var1 stable)" 96 344)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 93)
  ("(var2 up)" 93 228)
  ("(var2 stable)" 228 344)
 )
)
(83
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 64)
  ("(var3 stable)" 64 143)
  ("(var3 up)" 143 146)
  ("(var3 down)" 146 157)
  ("(var3 up)" 157 162)
  ("(var3 stable)" 162 289)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 64)
  ("(var4 stable)" 64 289)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 59)
  ("(var1 stable)" 59 289)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 56)
  ("(var2 stable)" 56 89)
  ("(var2 up)" 89 182)
  ("(var2 stable)" 182 289)
 )
)
(84
 (
  ("(var3 stable)" 0 93)
  ("(var3 up)" 93 128)
  ("(var3 stable)" 128 208)
  ("(var3 up)" 208 215)
  ("(var3 down)" 215 225)
  ("(var3 up)" 225 229)
  ("(var3 stable)" 229 368)
  ("(var4 stable)" 0 97)
  ("(var4 up)" 97 128)
  ("(var4 stable)" 128 368)
  ("(var1 stable)" 0 97)
  ("(var1 up)" 97 131)
  ("(var1 stable)" 131 368)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 117)
  ("(var2 up)" 117 250)
  ("(var2 stable)" 250 368)
 )
)
(85
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 77)
  ("(var3 down)" 77 79)
  ("(var3 up)" 79 111)
  ("(var3 down)" 111 113)
  ("(var3 stable)" 113 188)
  ("(var3 up)" 188 192)
  ("(var3 down)" 192 201)
  ("(var3 up)" 201 206)
  ("(var3 stable)" 206 340)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 111)
  ("(var4 stable)" 111 340)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 105)
  ("(var1 stable)" 105 340)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 stable)" 103 132)
  ("(var2 up)" 132 207)
  ("(var2 stable)" 207 340)
 )
)
(86
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 67)
  ("(var3 stable)" 67 152)
  ("(var3 up)" 152 154)
  ("(var3 stable)" 154 156)
  ("(var3 down)" 156 165)
  ("(var3 up)" 165 171)
  ("(var3 stable)" 171 310)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 64)
  ("(var4 stable)" 64 310)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 62)
  ("(var1 stable)" 62 310)
  ("(var2 stable)" 0 55)
  ("(var2 down)" 55 61)
  ("(var2 up)" 61 101)
  ("(var2 stable)" 101 105)
  ("(var2 up)" 105 180)
  ("(var2 stable)" 180 310)
 )
)
(87
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 73)
  ("(var3 down)" 73 75)
  ("(var3 up)" 75 104)
  ("(var3 stable)" 104 183)
  ("(var3 up)" 183 187)
  ("(var3 down)" 187 197)
  ("(var3 up)" 197 201)
  ("(var3 stable)" 201 335)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 102)
  ("(var4 stable)" 102 335)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 99)
  ("(var1 stable)" 99 335)
  ("(var2 stable)" 0 94)
  ("(var2 up)" 94 223)
  ("(var2 down)" 223 225)
  ("(var2 up)" 225 227)
  ("(var2 stable)" 227 335)
 )
)
(88
 (
  ("(var3 stable)" 0 94)
  ("(var3 down)" 94 96)
  ("(var3 up)" 96 128)
  ("(var3 stable)" 128 221)
  ("(var3 up)" 221 226)
  ("(var3 down)" 226 238)
  ("(var3 up)" 238 241)
  ("(var3 stable)" 241 385)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 128)
  ("(var4 stable)" 128 385)
  ("(var1 stable)" 0 101)
  ("(var1 up)" 101 126)
  ("(var1 stable)" 126 128)
  ("(var1 up)" 128 131)
  ("(var1 down)" 131 133)
  ("(var1 stable)" 133 385)
  ("(var2 stable)" 0 117)
  ("(var2 down)" 117 119)
  ("(var2 stable)" 119 161)
  ("(var2 up)" 161 261)
  ("(var2 stable)" 261 385)
 )
)
(89
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 110)
  ("(var3 stable)" 110 193)
  ("(var3 up)" 193 197)
  ("(var3 down)" 197 209)
  ("(var3 up)" 209 215)
  ("(var3 stable)" 215 356)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 108)
  ("(var4 stable)" 108 356)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 102)
  ("(var1 down)" 102 104)
  ("(var1 stable)" 104 356)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 up)" 99 204)
  ("(var2 down)" 204 206)
  ("(var2 up)" 206 246)
  ("(var2 down)" 246 248)
  ("(var2 up)" 248 251)
  ("(var2 stable)" 251 356)
 )
)
(90
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 78)
  ("(var3 stable)" 78 150)
  ("(var3 up)" 150 155)
  ("(var3 down)" 155 163)
  ("(var3 up)" 163 169)
  ("(var3 stable)" 169 295)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 75)
  ("(var4 stable)" 75 295)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 74)
  ("(var1 stable)" 74 295)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 66)
  ("(var2 up)" 66 100)
  ("(var2 stable)" 100 103)
  ("(var2 up)" 103 178)
  ("(var2 stable)" 178 295)
 )
)
(91
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 61)
  ("(var3 stable)" 61 144)
  ("(var3 up)" 144 146)
  ("(var3 down)" 146 155)
  ("(var3 up)" 155 159)
  ("(var3 stable)" 159 278)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 64)
  ("(var4 stable)" 64 278)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 55)
  ("(var1 down)" 55 57)
  ("(var1 stable)" 57 278)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 57)
  ("(var2 up)" 57 183)
  ("(var2 stable)" 183 278)
 )
)
(92
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 64)
  ("(var3 stable)" 64 134)
  ("(var3 up)" 134 138)
  ("(var3 down)" 138 148)
  ("(var3 stable)" 148 276)
  ("(var4 stable)" 0 33)
  ("(var4 up)" 33 58)
  ("(var4 stable)" 58 276)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 61)
  ("(var1 stable)" 61 276)
  ("(var2 stable)" 0 51)
  ("(var2 down)" 51 53)
  ("(var2 up)" 53 160)
  ("(var2 stable)" 160 276)
 )
)
(93
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 77)
  ("(var3 stable)" 77 159)
  ("(var3 up)" 159 164)
  ("(var3 down)" 164 173)
  ("(var3 up)" 173 178)
  ("(var3 stable)" 178 315)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 77)
  ("(var4 stable)" 77 315)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 74)
  ("(var1 stable)" 74 315)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 69)
  ("(var2 up)" 69 214)
  ("(var2 stable)" 214 315)
 )
)
(94
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 120)
  ("(var3 stable)" 120 207)
  ("(var3 up)" 207 212)
  ("(var3 down)" 212 225)
  ("(var3 up)" 225 229)
  ("(var3 stable)" 229 363)
  ("(var4 stable)" 0 83)
  ("(var4 up)" 83 87)
  ("(var4 stable)" 87 89)
  ("(var4 up)" 89 117)
  ("(var4 stable)" 117 121)
  ("(var4 up)" 121 123)
  ("(var4 stable)" 123 363)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 116)
  ("(var1 stable)" 116 363)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 109)
  ("(var2 stable)" 109 137)
  ("(var2 up)" 137 253)
  ("(var2 down)" 253 255)
  ("(var2 stable)" 255 363)
 )
)
(95
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 102)
  ("(var3 stable)" 102 188)
  ("(var3 up)" 188 193)
  ("(var3 down)" 193 203)
  ("(var3 up)" 203 210)
  ("(var3 stable)" 210 354)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 98)
  ("(var4 stable)" 98 354)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 97)
  ("(var1 down)" 97 99)
  ("(var1 up)" 99 101)
  ("(var1 stable)" 101 354)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 stable)" 91 122)
  ("(var2 up)" 122 215)
  ("(var2 down)" 215 217)
  ("(var2 up)" 217 222)
  ("(var2 stable)" 222 354)
 )
)
(96
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 81)
  ("(var3 stable)" 81 153)
  ("(var3 up)" 153 159)
  ("(var3 down)" 159 170)
  ("(var3 up)" 170 172)
  ("(var3 stable)" 172 312)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 71)
  ("(var4 stable)" 71 312)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 75)
  ("(var1 stable)" 75 312)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 67)
  ("(var2 up)" 67 194)
  ("(var2 stable)" 194 312)
 )
)
(97
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 60)
  ("(var3 stable)" 60 134)
  ("(var3 up)" 134 139)
  ("(var3 down)" 139 149)
  ("(var3 up)" 149 154)
  ("(var3 stable)" 154 277)
  ("(var4 stable)" 0 29)
  ("(var4 up)" 29 31)
  ("(var4 stable)" 31 35)
  ("(var4 up)" 35 63)
  ("(var4 stable)" 63 277)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 57)
  ("(var1 stable)" 57 277)
  ("(var2 stable)" 0 50)
  ("(var2 down)" 50 52)
  ("(var2 stable)" 52 81)
  ("(var2 up)" 81 176)
  ("(var2 stable)" 176 277)
 )
)
(98
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 117)
  ("(var3 down)" 117 119)
  ("(var3 up)" 119 122)
  ("(var3 stable)" 122 124)
  ("(var3 up)" 124 126)
  ("(var3 stable)" 126 205)
  ("(var3 up)" 205 210)
  ("(var3 down)" 210 222)
  ("(var3 stable)" 222 224)
  ("(var3 up)" 224 227)
  ("(var3 stable)" 227 370)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 120)
  ("(var4 stable)" 120 370)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 110)
  ("(var1 stable)" 110 112)
  ("(var1 up)" 112 117)
  ("(var1 stable)" 117 370)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 112)
  ("(var2 up)" 112 195)
  ("(var2 down)" 195 197)
  ("(var2 up)" 197 252)
  ("(var2 stable)" 252 370)
 )
)
(99
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 121)
  ("(var3 stable)" 121 198)
  ("(var3 up)" 198 203)
  ("(var3 down)" 203 211)
  ("(var3 stable)" 211 213)
  ("(var3 up)" 213 217)
  ("(var3 stable)" 217 351)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 123)
  ("(var4 stable)" 123 351)
  ("(var1 stable)" 0 97)
  ("(var1 up)" 97 119)
  ("(var1 stable)" 119 351)
  ("(var2 stable)" 0 110)
  ("(var2 down)" 110 112)
  ("(var2 stable)" 112 147)
  ("(var2 up)" 147 233)
  ("(var2 stable)" 233 351)
 )
)
(100
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 74)
  ("(var3 stable)" 74 163)
  ("(var3 up)" 163 165)
  ("(var3 down)" 165 176)
  ("(var3 up)" 176 184)
  ("(var3 stable)" 184 324)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 78)
  ("(var4 down)" 78 80)
  ("(var4 stable)" 80 324)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 76)
  ("(var1 stable)" 76 324)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 70)
  ("(var2 stable)" 70 106)
  ("(var2 up)" 106 198)
  ("(var2 stable)" 198 324)
 )
)
